Theory and application of multiple-valued logics for knowledge-based systems
نویسندگان
چکیده
Multiple-valued logics are useful for dealing with uncertainty and imprecision in knowledge-based systems. In this paper, we present the foundations of QMORPH: a tool that assists users in the declaration of such logics and in the declaration of the communication mechanism between two of these different logics by preserving inference.
منابع مشابه
Defining and combining Multiple-valued Logics for Knowledge-based Systems
Multiple-valued logics are useful for dealing with uncertainty and imprecision in Knowledge-Based Systems. Different problems can require different logics. Then we need mechanisms to translate the information exchanged between two problems with different logics. In this paper, we introduce the logical foundations of such logics and the communication mechanisms that preserve some deductive prope...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملProviders and Patients Caught Between Standardization and Individualization: Individualized Standardization as a Solution; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
In their 2017 article, Mannion and Exworthy provide a thoughtful and theory-based analysis of two parallel trends in modern healthcare systems and their competing and conflicting logics: standardization and customization. This commentary further discusses the challenge of treatment decision-making in times of evidence-based medicine (EBM), shared decision-making and personalized medicine. From ...
متن کاملUniversal Approximation of Interval-valued Fuzzy Systems Based on Interval-valued Implications
It is firstly proved that the multi-input-single-output (MISO) fuzzy systems based on interval-valued $R$- and $S$-implications can approximate any continuous function defined on a compact set to arbitrary accuracy. A formula to compute the lower upper bounds on the number of interval-valued fuzzy sets needed to achieve a pre-specified approximation accuracy for an arbitrary multivariate con...
متن کاملA Knowledge Representation Formalism to Process Vague Medical Queries
Many fields of application deal with vague and fuzzy information. Thus the need of tools that are able to handle this kind of data is obvious. We concentrate on the extension of well-known terminological knowledge representation systems with appropriate methods. Classical terminological knowledge representation systems are based on two-valued logics. To solve problems of uncertainty a more expr...
متن کامل